package owlapps2012.klpfc;


import org.semanticweb.HermiT.Reasoner;
import org.semanticweb.owlapi.model.OWLOntologyCreationException;
import org.semanticweb.owlapi.reasoner.ConsoleProgressMonitor;
import org.semanticweb.owlapi.reasoner.OWLReasoner;
import org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration;
import org.semanticweb.owlapi.reasoner.OWLReasonerFactory;
import org.semanticweb.owlapi.reasoner.SimpleConfiguration;

import com.sun.corba.se.impl.javax.rmi.CORBA.Util;

import owlapps2012.base.FactsClassifier;
import uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasonerFactory;
import uk.ac.manchester.cs.jfact.JFactFactory;

public class KlpFCTest 
{
	public static void main(String[] args) throws Exception 
	{
//		System.out.println((int)Utils.ileDniGmt(Utils.strToDate("2000-01-01", "yyyy-MM-dd"), new java.util.Date()));
//		String[] ids = new String[]{"753234","767191"};
		String[] ids = new String[]{ "753234"};
//		String[] ids = new String[]{ "767191"};
//		new KlpFactsImport(ASConnection.getSimpleConnection(), ids).importFacts("1");
//	    OWLReasonerFactory factory = new FaCTPlusPlusReasonerFactory();
//		KlpFactsImport ki = new KlpFactsImport(ASConnection.getSimpleConnection(), ids);
		KlpFactsImport2 ki = new KlpFactsImport2(ASConnection.getSimpleConnection(), ids);
//		KlpFactsClassifier kc = new KlpFactsClassifier(new FaCTPlusPlusReasonerFactory(), ki);
		KlpFactsClassifier kc = new KlpFactsClassifier(new JFactFactory(), ki);
//		KlpFactsClassifier kc = new KlpFactsClassifier(new  Reasoner.ReasonerFactory(), ki);
		kc.start();
		
	}
}
